Mfdte/pntool - a Tool for the Rigorous Design, Analysis and Development of Concurrent and Time-critical Systems
نویسندگان
چکیده
Štefan HUDÁK, Dmitry A. ZAITSEV, Štefan KOREČKO, Slavomír ŠIMOŇÁK Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, tel. 095/602 2525, E-mail: {Stefan.Hudak, Stefan.Korecko, Slavomir.Simonak}@tuke.sk Department of Communication Networks, Odessa National Telecommunication Academy, Kuznechnaya, 1, Odessa, 65029, Ukraine, http://www.geocities.com/zsoftua
منابع مشابه
Introduction to Schramm-Loewner evolution and its application to critical systems
In this short review we look at recent advances in Schramm-Loewner Evolution (SLE) theory and its application to critical phenomena. The application of SLE goes beyond critical systems to other time dependent, scale invariant phenomena such as turbulence, sand-piles and watersheds. Through the use of SLE, the evolution of conformally invariant paths on the complex plane can be followed; hence a...
متن کاملDevelopment of Design and Manufacturing Support Tool for Optimization of Ultrasonic Machining (USM) and Rotary USM
Ultrasonic machining (USM) is a mechanical material removal process used to erode holes and cavities in hard or brittle work pieces by using shaped tools, high-frequency and an abrasive slurry. This paper addresses the concept and development of an expert system (ES) for hard and brittle material, such as glass, quartz, diamond, carbides, semi conducting materials, ceramic and graphite which ca...
متن کاملDevelopment of Design and Manufacturing Support Tool for Optimization of Ultrasonic Machining (USM) and Rotary USM
Ultrasonic machining (USM) is a mechanical material removal process used to erode holes and cavities in hard or brittle work pieces by using shaped tools, high-frequency and an abrasive slurry. This paper addresses the concept and development of an expert system (ES) for hard and brittle material, such as glass, quartz, diamond, carbides, semi conducting materials, ceramic and graphite which ca...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملSignal Design at lsolated lntersecaions Using Expert Systems Technology
The procedural steps for developing an expert system for designing signals at isolated intersections are described and the most important development issues for each step are discussed. The steps include problem analysis and definition, preliminary prototype specification, knowledge acquisition strategy development, prototype development plan, knowledge extraction, knowledge representation, too...
متن کامل